Testing Concurrent Systems: A Formal Approach
نویسنده
چکیده
This paper discusses the use of formal methods in testing of concurrent systems. It is argued that formal methods and testing can be mutually profitable and useful. A framework for testing based on formal specifications is presented. This framework is elaborated for labelled transition systems, providing formal definitions of conformance, test execution and test derivation. A test derivation algorithm is given and its tool implementation is briefly discussed.
منابع مشابه
Reachability checking in complex and concurrent software systems using intelligent search methods
Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...
متن کاملIntegration of Functional and Timed Testing of Real-Time and Concurrent Systems
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The approach presented is used in the context of UniTesK specification based test development method. The results of its practical applications are also discussed. Practical experience demonstrates the applicability of the ap...
متن کاملCloser to Reliable Software: Verifying Functional Behaviour of Concurrent Programs
Static formal verification techniques are an e↵ective method for verification of software. They exploit the advantages of formal methods to statically prove that the implementation of a program satisfies its formally written specification. This makes formal verification especially powerful: any execution of the program is guaranteed to behave correctly. Therefore, these techniques are especiall...
متن کاملValidating interaction patterns of CORBA based network management systems
This article presents different approaches for monitoring of interaction patterns and black box testing within CORBA-based distributed object systems. A generic and universally applicable method, called Proxy Approach, is discussed and relations to existing CMIP-based validation approaches are outlined. Aspects like ORB independence, use of dynamic interfaces instead of stub generation, pragmat...
متن کاملSpeciication-based Testing of Interactive Systems Connrmation Report
Testing interactive systems is diicult because such systems are large, complex, concurrent, graph-ical and have user-based real-time requirements. Existing solutions solve technical problems but give little guidance for test inputs and oracles. Formal speciications can be used to provide this guidance. The goal of this project is development of a framework for speciication-based testing of inte...
متن کامل